Role of Model Transformation in Method Engineering

This paper discusses two applications of model transformation to method engineering; one is method assembly of diagram based methods and formal methods and the other one is providing formal semantics with meta models by means of the transformation of the meta model descriptions into the formal descriptions. We use Class Diagram to define the meta models, and the models following the meta model can be represented with instance graphs. Thus our model transformation is based on graph grammars. To show and clarify the benefits of model transformation in method engineering, we illustrate the transformation rules and how to transform models. We use two examples; one is a method assembly of Class Diagram and Z and the other one is defining formal semantics of the meta model of Class Diagram.